<?php

	require("main.php");

	//if(isset($_SESSION))

	session_start();

	session_destroy();

	//echo $_SESSION['uid'];

	include(INC_DIR."header.php");
    echo '<BR><BR><BR><BR><BR><BR><BR>';
	echo '<BR><BR><BR><BR><BR><BR><BR><BR><center>You have logged out.</center>';

?>